content dictionary造句

• Content Dictionaries are structured XML documents that define mathematical symbols that can be referred to by OMS elements in OpenMath Objects.
• OpenMath 1 fixed the basic language architecture, while OpenMath2 brought better XML integration, structure sharing and liberalized the notion of OpenMath Content dictionaries.
• OMDoc's theories are designed to be compatible to OpenMath content dictionaries, but they can also be set into inheritance and import relations.
• The OpenMath 2 standard does not prescribe a canonical encoding for content dictionaries, but only requires an infrastructure sufficient for unique referencing in OMS elements.
• OpenMath provides a very basic XML encoding that meets these requirements, and a set of specific content dictionaries for some areas of mathematics, in particular covering the K-14 fragment covered by content MathML.
• In the example above, all symbols come from the content dictionary for arithmetics ( arith1, see below ), except for the plusminus, which comes from a non-standard place, hence the cdbase attribute here.
• OpenMath consists of the definition of " OpenMath Objects ", which is an abstract datatype for describing the logical structure of a mathematical formula and the definition of " OpenMath Content Dictionaries ", or collections of names for mathematical concepts.
• The OMS element is a generic extension element that means whatever is specified in the content dictionary referred to in the cd attribute ( this document can be found at the URI specified in the innermost cdbase attribute dominating the respective OMS element.
• The names available from the latter type of collections are specifically intended for use in extending MathML, and conversely, a basic set of such " Content Dictionaries " has been designed to be compatible with the small set of mathematical concepts defined in Content MathML, the non-presentational subset of MathML.
• For more richly structured content dictionaries ( and generally for arbitrary mathematical documents ) the OMDoc format extends OpenMath by a  statement level ( including structures like definitions, theorems, proofs and examples, as well as means for interrelating them ) and a  theory level, where a theory is a collection of several contextually related statements.